== Motivation == In einem endlichdimensionalen euklidischen Raum gibt es zu jedem echten Teilraum U einen darauf senkrecht stehenden Einheitsvektor x. Der Abstand eines beliebigen Punktes u aus U zu x beträgt dann mindestens Eins, der Wert Eins wird exakt für u=0 angenommen. == Folgerungen == Aus dem Lemma von Riesz folgt, dass jeder normierte R...